COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0BASL30\M1BASI30\M2BASB30\MENGR40\M3NGR25\M4NGR20\MFSTA200\
C00004 ENDMK
C⊗;
\\M0BASL30;\M1BASI30;\M2BASB30;\MENGR40;\M3NGR25;\M4NGR20;\MFSTA200;\;
\'3;↓↓\FFS\FE
\'3;↓Q\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4



ARTIFICIAL INTELLIGENCE LABORATORY\←L\-R\/'7;\+R\→.\→S   Telephone:
COMPUTER SCIENCE DEPARTMENT\←S\→.415-497-4430
\F0\C27 January 1975




Joseph Traub
Computer Science Department
Carnegie Mellon University
Schenley Park
Pittsburgh, Pennsylvania 15213

Dear Dr. Traub:

\J	Norihisa Suzuki, who is expected to finish this year, is one of
our most promising students in mathematical theory of computation and
theorem proving.  He is making a trip to the East Coast soon, and, if
you have any openings you may want to interview him.  We may also
make him an offer if we can.

	Suzuki has mainly worked with Dave Luckham and has worked on
a verification condition generator and on relating the Hoare axioms to
the Scott theory.  His resume is enclosed and his papers are available.
His trip has to be in the next two weeks.\.

\←L\→S\←R\-L\/'2;\+L\→L
Best regards,





John McCarthy
Director, Artificial Intelligence Laboratory
Professor of Computer Science
\←S\→L
\F4JMC:pdp-10
file name: suzuki.rec[let,jmc]:su-ai